4. The years or parts of a year of service redeemed shall be credited proportionately to the amounts paid in capital for their payment, out of the total capital amount. Those years or parts of a year are deemed to be credited for the period of the marriage, to the extent that they were paid during that period.